VDict - Definition of statically bound

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

least upper bound greatest lower bound bound variable static link strong typing free variable upper bound logic variable complete lattice distributive lattice name capture lattice Trafola-H LOGISCOPE termination analysis partial ordering Obliq Goffin superscalar dynamic link lexical scope environment variable infimum Meet \sqcap \sqcup GLB supremum Moore bound ML lub directed set actual argument graph boundedly complete complete partial ordering approximation algorithm bounded join narrowing algebraic formal argument Moore graph inclusive ideal Procrustean string intelligent backtracking maximal free expression bracket abstraction least fixed point beta reduction Sather Multipop-68 Oberon-2 constant applicative form unification PROgrammed Graph REwriting Systems fully lazy lambda lifting lambda abstraction for The Rest Of Us more...